1421. 25, 2009, Revised Selected ... Programming and Software Engineering)-Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23
Author: / David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1422. Rigorous software engineering for service-oriented systems :
Author: Martin Wirsing, Matthias Hölzl (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: SENSORIA Project,Service-oriented architecture (Computer science),Web services
Classification :
TK5105
.
5828
.
R54
2011
1423. Robotics and Artificial Intelligence
Author: edited by Michael Brady, Lester A. Gerhardt, Harold F. Davidson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer-aided design.,Optical pattern recognition.
1424. Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Author: Pedro Neto [aut]; António Paulo Moreira [aut]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer. Automation,robots,software engineering
Classification :
TS191
.
8
P437
2013
1425. Ruby Programming
Author: / Jerry Lee Ford, Jr.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1426. Rule-based modeling and computing on the Semantic Web :
Author: Frank Olken, Monica Palmirani, Davide Sottara (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
Classification :
QA76
.
76
.
H94
R85
2011
1427. Rule interchange and applications
Author: Guido Governatori, John Hall, Adrian Paschke (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
Classification :
QA76
.
76
.
H94
R88
2009eb
1428. Rules on the web
Author: Antonis Bikakis, Adrian Giurca (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Rule-based programming, Congresses
Classification :
QA76
.
6
.
R85
2012eb
1429. Run Scalable Java Applications on Google's Infrastructure&Programming Google App Engine with Java: Build
Author: / Dan Sanderson
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1430. Runtime Verification
Author: \ Ezio Bartocci, Rupak Majumdar (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستیآزمایی -- کنگره ها,روشهای صوری (کامپیوتر) -- کنگره ها,آزمونهای کامپیوتری -- نرمافزار -- کنگره ها
Classification :
QA
76
.
76
.
V47
R82
2015
E-Book
,
1431. Runtime Verification
Author: edited by Sarfraz Khurshid, Koushik Sen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
1432. Runtime verificatio
Author: / Saddek Bensalem, Doron A. Peled (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Formal methods (Computer science)--Congresses,Computer programs--Testing--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
R88
,
2009
1433. Runtime verification
Author: Sarfraz Khurshid, Koushik Sen (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
R8
2011eb
1434. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
1435. Runtime verification :
Author: Axel Legay, Saddek Bensalem (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
R8
2013
1436. S-BPM illustrated :
Author: Fleischmann Albert, Raß Stefan, Singer Robert
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing,Computer network architectures,Management information systems,Software engineering
Classification :
T58
.
6
1437. SAS Certification Prep Guide: Base Programming for SAS 9, Third Edition
Author: / SAS
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1438. SAS programming in the pharmaceutical industry, Second Edition
Author: / Jack Shostak.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1439. SAT 2005 :
Author: edited by Enrico Giunchiglia and Toby Walsh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
Classification :
QA76
.
9
.
A43
S28
2006eb
1440. SDL '97 :
Author: Ana Cavalli
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: SDL (Computer program language)
